Supplementary Material Biochemically Interpreted Petri Nets
نویسندگان
چکیده
In the following we recall the basic Petri net notions and give the formal definitions relevant for this paper; for more details see [1,2], for a general introduction into Petri net theory see [3,4], for theoretical issues see the excellent textbook [5], which however is in German. As usual, we denote the set of non-negative integers including zero by N0, the set of integers by Z, and the set of non-negative real numbers by R+0 . |S| denotes the number of elements in a set S.
منابع مشابه
Colored Petri nets to Model and Simulate Biological Systems
Petri nets have become an effective formalism to model biological systems. However, attempts to simulate biological systems by low-level Petri nets are restricted to relatively small models, and they tend to grow quickly for modeling complex systems, which makes it more difficult to manage and understand the nets. Motivated by this, we propose a colored Petri net-based framework for modeling, s...
متن کاملColored Stochastic Petri Nets for Modeling Complex Biological Systems
The stochastic modeling of biological systems is gaining more and more attention when stochastic fluctuations need to be described. On the other hand, the biological systems under investigation become much more complex than before. Traditional modeling methods like stochastic Petri nets do not easily scale and thus become difficult to tackle this situation. This paper aims to present a colored ...
متن کاملA Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each perspective adds its contribution to the understanding of the system, thus the three approaches do not compete, but complement each other. We illustrate our approach by applying it to an extended model of the three stage ...
متن کاملUnderstanding Network Behavior by Structured Representations of Transition Invariants A Petri Net Perspective on Systems and Synthetic Biology
Petri nets offer a bipartite and concurrent paradigm, and consequently represent a natural choice for modeling and analyzing biochemical networks. We introduce a Petri net structuring technique contributing to a better understanding of the network behavior and requiring static analysis only. We determine a classification of the transitions into abstract dependent transition sets, which induce c...
متن کاملOp-cbio130569 1..10
Motivation: Dynamic simulation of genome-scale molecular interaction networks will enable the mechanistic prediction of genotype–phenotype relationships. Despite advances in quantitative biology, full parameterization of whole-cell models is not yet possible. Simulation methods capable of using available qualitative data are required to develop dynamic whole-cell models through an iterative pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009